========== Prerequisites ========================= 

  To build the MOP CFG Engine html frontend 
  you need the ocaml distribution and menhir, a parser 
  generator that is an improvement over ocamlyacc.
  
  The English download page for ocaml is 
  http://caml.inria.fr/download.en.html
  
  menhir can be found at
  http://cristal.inria.fr/~fpottier/menhir/
  
  To run the engine you need a maude installation.  The engine can
  also be run alone (see below).  

=========== Building the html front end ===========

  1)  Edit the Makefile, change OCAMLC to either the path
      to ocamlc or ocamlopt.  Similarly change YACC to your
      path to menhir, and LEX to your path to ocamllex.
      (Note that this will NOT work with ocamlyacc

  2)  On line 8, edit the value maude to be your path to maude on line.
      On line 13, edit work_dir to be your path to this distribution.

  3)  Run make.
      

=========== Running the html front end ===========

  $ cat <example file> | ./cfg2html

=========== Running the engine alone =============

  CFG.maude can be used to produce tables from
  a grammar.  CFG2html.maude can be used to produce an html table
  (it includes CFG.maude).  To produce generic tables include
  CFG.maude or CFG2html.maude from maude and run
  
  red genTables(StartSymbol, Grammar)

  To generate html tables, include CFG2html.maude and run

  red genHtml(StartSymbol, Grammar)

  Note that the grammars used directly with maude differ:  non-terminals
  are represented with nt(Nat) and terminals as t(Nat).  Additionally,
  productions are separated by `;' rather than `,'. 
